1. AQA A level Computer Science.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
2. Algorithms :
پدیدآورنده : Fethi Rabhi, Guy Lapalme.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Functional programming languages.,Algorithmes.,Langages de programmation fonctionnels.,ALGORITHMS.,Algorithmus,Algorithmus.,Algoritmen.,Computer algorithms.,COMPUTER PROGRAMS.,Functional programming languages.,Functionele programmering.,FUNCTIONS (MATHEMATICS),Funktionale Programmiersprache,Funktionale Programmierung,Funktionale Programmierung.,PROGRAMMING LANGUAGES.
رده :
QA76
.
9
.
A43
R34
1999
3. Algorithms: a functional approach
پدیدآورنده : Rabhi, Fethi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
.
R34
1999
4. Algorithms: a functional programming approach
پدیدآورنده : Rabhi, Fethi.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computer algorithms,، Functional programming languages
رده :
QA
76
.
9
.
A43
R34
1999
5. Algorithms for functional programming /
پدیدآورنده : John David Stone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Functional programming languages.,Computer algorithms.,Functional programming languages.
رده :
QA76
.
62
6. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
7. Automata, Languages and Programming :
پدیدآورنده : edited by Josep Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Computers.
8. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
9. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
10. Building software for simulation
پدیدآورنده : James Nutaro
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Computer simulation,C]] (Computer program language)
رده :
QA
،
76
.
9
،.
C65
,
N88
،
2011
11. Building software for simulation
پدیدآورنده : / James Nutaro
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
12. Building software for simulation
پدیدآورنده : / James Nutaro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer simulation,C++ (Computer program language)
رده :
QA76
.
9
.
C65
,
N88
2011
13. Building software for simulation :
پدیدآورنده : James Nutaro
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : C++ (Computer program language),Computer simulation
رده :
QA76
.
9
.
C65
N88
2011
14. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Formal languages
رده :
QA
267
.
3
.
C87
1993
15. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Curien, Pierre-Louis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
C87
1993
16. Categorical combinators, sequential algorithms, and functional programming
پدیدآورنده : Pierre- Louis Curien
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Formal languages
رده :
QA
,
267
.
3
,.
C87
17. Chemoinformatics :
پدیدآورنده : editors Johann Gasteiger, Thomas Engel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemia -- informatyka.
رده :
QD39
.
3
.
E46
E358
2004
18. Clojure data structures and algorithms cookbook :
پدیدآورنده : Rafik Naccache
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Clojure (Computer program language),Functional programming languages
رده :
QA76
.
73
.
C565
19. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
20. Computer Models of Speech Using Fuzzy Algorithms.
پدیدآورنده : De Mori, Renato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
TK7882
.
S65
D466
2011
